λ(x : Text) → "hai" ++ x
